// ALEConstants.h : Arrays used for fast Golay encoding and decoding
//   and other ALE constants and variables
//  16 Feb 1999
/////////////////////////////////////////////////////////////////////////////

#define SR1LEN  49
#define THRESHOLD 25

int Ucount;
BOOL Sync;

int SymbolsToGo;
int maj = 0;
short sr1[SR1LEN];         /* Symbol buffer */
int ptr0, ptr1a, ptr1b, ptr2a, ptr2b;  /* pointers to sr1 */
int ubuffer[16];           /* buffer of unanimous votes */
int uptr;                  /* pointer in Ubuffer */
int sptr;                  /* counter used after sync */
int initcntr;              /* counter used in initRxFec */
int ptrSymbolIn;           /* pointer in SymbolIn */
short pingpong;            /* deinterleaving buffer choice */
long g1,g2;                /* Golay words */


/*  majority.h    rsm     7/28/91     table of majority votes  */
/*                           indexed by concatenated tri-bits  */

short mtable[512] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1,
                      0, 0, 2, 2, 0, 0, 2, 2, 0, 1, 2, 3, 0, 1, 2, 3,
                      0, 0, 0, 0, 4, 4, 4, 4, 0, 1, 0, 1, 4, 5, 4, 5, 
                      0, 0, 2, 2, 4, 4, 6, 6, 0, 1, 2, 3, 4, 5, 6, 7, 
                      0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 
                      0, 1, 2, 3, 0, 1, 2, 3, 1, 1, 3, 3, 1, 1, 3, 3, 
                      0, 1, 0, 1, 4, 5, 4, 5, 1, 1, 1, 1, 5, 5, 5, 5, 
                      0, 1, 2, 3, 4, 5, 6, 7, 1, 1, 3, 3, 5, 5, 7, 7, 
                      0, 0, 2, 2, 0, 0, 2, 2, 0, 1, 2, 3, 0, 1, 2, 3, 
                      2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 2, 3, 2, 3, 2, 3, 
                      0, 0, 2, 2, 4, 4, 6, 6, 0, 1, 2, 3, 4, 5, 6, 7, 
                      2, 2, 2, 2, 6, 6, 6, 6, 2, 3, 2, 3, 6, 7, 6, 7, 
                      0, 1, 2, 3, 0, 1, 2, 3, 1, 1, 3, 3, 1, 1, 3, 3, 
                      2, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 
                      0, 1, 2, 3, 4, 5, 6, 7, 1, 1, 3, 3, 5, 5, 7, 7,
                      2, 3, 2, 3, 6, 7, 6, 7, 3, 3, 3, 3, 7, 7, 7, 7, 
                      0, 0, 0, 0, 4, 4, 4, 4, 0, 1, 0, 1, 4, 5, 4, 5, 
                      0, 0, 2, 2, 4, 4, 6, 6, 0, 1, 2, 3, 4, 5, 6, 7, 
                      4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 4, 5, 4, 5, 4, 5, 
                      4, 4, 6, 6, 4, 4, 6, 6, 4, 5, 6, 7, 4, 5, 6, 7, 
                      0, 1, 0, 1, 4, 5, 4, 5, 1, 1, 1, 1, 5, 5, 5, 5, 
                      0, 1, 2, 3, 4, 5, 6, 7, 1, 1, 3, 3, 5, 5, 7, 7, 
                      4, 5, 4, 5, 4, 5, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 
                      4, 5, 6, 7, 4, 5, 6, 7, 5, 5, 7, 7, 5, 5, 7, 7, 
                      0, 0, 2, 2, 4, 4, 6, 6, 0, 1, 2, 3, 4, 5, 6, 7, 
                      2, 2, 2, 2, 6, 6, 6, 6, 2, 3, 2, 3, 6, 7, 6, 7, 
                      4, 4, 6, 6, 4, 4, 6, 6, 4, 5, 6, 7, 4, 5, 6, 7, 
                      6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 6, 7, 6, 7, 6, 7, 
                      0, 1, 2, 3, 4, 5, 6, 7, 1, 1, 3, 3, 5, 5, 7, 7, 
                      2, 3, 2, 3, 6, 7, 6, 7, 3, 3, 3, 3, 7, 7, 7, 7, 
                      4, 5, 6, 7, 4, 5, 6, 7, 5, 5, 7, 7, 5, 5, 7, 7, 
                      6, 7, 6, 7, 6, 7, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7 };

/*  unanimous.h    rsm    7/28/91    table of unanimous votes  */
/*                           indexed by concatenated tri-bits  */

short utable[512] = {3, 2, 2, 1, 2, 1, 1, 0, 2, 2, 1, 1, 1, 1, 0, 0, 
                     2, 1, 2, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 
                     2, 1, 1, 0, 2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 
                     1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
                     2, 2, 1, 1, 1, 1, 0, 0, 2, 3, 1, 2, 1, 2, 0, 1, 
                     1, 1, 1, 1, 0, 0, 0, 0, 1, 2, 1, 2, 0, 1, 0, 1, 
                     1, 1, 0, 0, 1, 1, 0, 0, 1, 2, 0, 1, 1, 2, 0, 1, 
                     0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 
                     2, 1, 2, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 
                     2, 1, 3, 2, 1, 0, 2, 1, 1, 1, 2, 2, 0, 0, 1, 1, 
                     1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
                     1, 0, 2, 1, 1, 0, 2, 1, 0, 0, 1, 1, 0, 0, 1, 1, 
                     1, 1, 1, 1, 0, 0, 0, 0, 1, 2, 1, 2, 0, 1, 0, 1, 
                     1, 1, 2, 2, 0, 0, 1, 1, 1, 2, 2, 3, 0, 1, 1, 2, 
                     0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 
                     0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 2, 0, 1, 1, 2, 
                     2, 1, 1, 0, 2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 
                     1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
                     2, 1, 1, 0, 3, 2, 2, 1, 1, 1, 0, 0, 2, 2, 1, 1, 
                     1, 0, 1, 0, 2, 1, 2, 1, 0, 0, 0, 0, 1, 1, 1, 1, 
                     1, 1, 0, 0, 1, 1, 0, 0, 1, 2, 0, 1, 1, 2, 0, 1, 
                     0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 
                     1, 1, 0, 0, 2, 2, 1, 1, 1, 2, 0, 1, 2, 3, 1, 2, 
                     0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 2, 1, 2, 
                     1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
                     1, 0, 2, 1, 1, 0, 2, 1, 0, 0, 1, 1, 0, 0, 1, 1, 
                     1, 0, 1, 0, 2, 1, 2, 1, 0, 0, 0, 0, 1, 1, 1, 1, 
                     1, 0, 2, 1, 2, 1, 3, 2, 0, 0, 1, 1, 1, 1, 2, 2, 
                     0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 
                     0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 2, 0, 1, 1, 2, 
                     0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 2, 1, 2, 
                     0, 0, 1, 1, 1, 1, 2, 2, 0, 1, 1, 2, 1, 2, 2, 3 };


// encode_table.h
//     P matrix 
int enc[4096] = {  00000, 02707, 05615, 07112, 01336, 03431, 04523, 06224,
                   02674, 00173, 07061, 05766, 03542, 01245, 06357, 04450,
                   05570, 07277, 00365, 02462, 04646, 06141, 01053, 03754,
                   07304, 05403, 02511, 00216, 06032, 04735, 03627, 01120,
                   01467, 03360, 04272, 06575, 00751, 02056, 05144, 07643,
                   03213, 01514, 06406, 04301, 02125, 00622, 07730, 05037,
                   04117, 06610, 01702, 03005, 05221, 07526, 00434, 02333,
                   06763, 04064, 03176, 01671, 07455, 05352, 02240, 00547,
                   03155, 01652, 06740, 04047, 02263, 00564, 07476, 05371,
                   01721, 03026, 04134, 06633, 00417, 02310, 05202, 07505,
                   06425, 04322, 03230, 01537, 07713, 05014, 02106, 00601,
                   04251, 06556, 01444, 03343, 05167, 07660, 00772, 02075,
                   02532, 00235, 07327, 05420, 03604, 01103, 06011, 04716,
                   00346, 02441, 05553, 07254, 01070, 03777, 04665, 06162,
                   07042, 05745, 02657, 00150, 06374, 04473, 03561, 01266,
                   05636, 07131, 00023, 02724, 04500, 06207, 01315, 03412,
                   06331, 04436, 03524, 01223, 07007, 05700, 02612, 00115,
                   04545, 06242, 01350, 03457, 05673, 07174, 00066, 02761,
                   03641, 01146, 06054, 04753, 02577, 00270, 07362, 05465,
                   01035, 03732, 04620, 06127, 00303, 02404, 05516, 07211,
                   07756, 05051, 02143, 00644, 06460, 04367, 03275, 01572,
                   05122, 07625, 00737, 02030, 04214, 06513, 01401, 03306,
                   02226, 00521, 07433, 05334, 03110, 01617, 06705, 04002,
                   00452, 02355, 05247, 07540, 01764, 03063, 04171, 06676,
                   05264, 07563, 00471, 02376, 04152, 06655, 01747, 03040,
                   07410, 05317, 02205, 00502, 06726, 04021, 03133, 01634,
                   00714, 02013, 05101, 07606, 01422, 03325, 04237, 06530,
                   02160, 00667, 07775, 05072, 03256, 01551, 06443, 04344,
                   04603, 06104, 01016, 03711, 05535, 07232, 00320, 02427,
                   06077, 04770, 03662, 01165, 07341, 05446, 02554, 00253,
                   01373, 03474, 04566, 06261, 00045, 02742, 05650, 07157,
                   03507, 01200, 06312, 04415, 02631, 00136, 07024, 05723,
                   06166, 04661, 03773, 01074, 07250, 05557, 02445, 00342,
                   04712, 06015, 01107, 03600, 05424, 07323, 00231, 02536,
                   03416, 01311, 06203, 04504, 02720, 00027, 07135, 05632,
                   01262, 03565, 04477, 06370, 00154, 02653, 05741, 07046,
                   07501, 05206, 02314, 00413, 06637, 04130, 03022, 01725,
                   05375, 07472, 00560, 02267, 04043, 06744, 01656, 03151,
                   02071, 00776, 07664, 05163, 03347, 01440, 06552, 04255,
                   00605, 02102, 05010, 07717, 01533, 03234, 04326, 06421,
                   05033, 07734, 00626, 02121, 04305, 06402, 01510, 03217,
                   07647, 05140, 02052, 00755, 06571, 04276, 03364, 01463,
                   00543, 02244, 05356, 07451, 01675, 03172, 04060, 06767,
                   02337, 00430, 07522, 05225, 03001, 01706, 06614, 04113,
                   04454, 06353, 01241, 03546, 05762, 07065, 00177, 02670,
                   06220, 04527, 03435, 01332, 07116, 05611, 02703, 00004,
                   01124, 03623, 04731, 06036, 00212, 02515, 05407, 07300,
                   03750, 01057, 06145, 04642, 02466, 00361, 07273, 05574,
                   00257, 02550, 05442, 07345, 01161, 03666, 04774, 06073,
                   02423, 00324, 07236, 05531, 03715, 01012, 06100, 04607,
                   05727, 07020, 00132, 02635, 04411, 06316, 01204, 03503,
                   07153, 05654, 02746, 00041, 06265, 04562, 03470, 01377,
                   01630, 03137, 04025, 06722, 00506, 02201, 05313, 07414,
                   03044, 01743, 06651, 04156, 02372, 00475, 07567, 05260,
                   04340, 06447, 01555, 03252, 05076, 07771, 00663, 02164,
                   06534, 04233, 03321, 01426, 07602, 05105, 02017, 00710,
                   03302, 01405, 06517, 04210, 02034, 00733, 07621, 05126,
                   01576, 03271, 04363, 06464, 00640, 02147, 05055, 07752,
                   06672, 04175, 03067, 01760, 07544, 05243, 02351, 00456,
                   04006, 06701, 01613, 03114, 05330, 07437, 00525, 02222,
                   02765, 00062, 07170, 05677, 03453, 01354, 06246, 04541,
                   00111, 02616, 05704, 07003, 01227, 03520, 04432, 06335,
                   07215, 05512, 02400, 00307, 06123, 04624, 03736, 01031,
                   05461, 07366, 00274, 02573, 04757, 06050, 01142, 03645,
                   06453, 04354, 03246, 01541, 07765, 05062, 02170, 00677,
                   04227, 06520, 01432, 03335, 05111, 07616, 00704, 02003,
                   03123, 01624, 06736, 04031, 02215, 00512, 07400, 05307,
                   01757, 03050, 04142, 06645, 00461, 02366, 05274, 07573,
                   07034, 05733, 02621, 00126, 06302, 04405, 03517, 01210,
                   05640, 07147, 00055, 02752, 04576, 06271, 01363, 03464,
                   02544, 00243, 07351, 05456, 03672, 01175, 06067, 04760,
                   00330, 02437, 05525, 07222, 01006, 03701, 04613, 06114,
                   05506, 07201, 00313, 02414, 04630, 06137, 01025, 03722,
                   07372, 05475, 02567, 00260, 06044, 04743, 03651, 01156,
                   00076, 02771, 05663, 07164, 01340, 03447, 04555, 06252,
                   02602, 00105, 07017, 05710, 03534, 01233, 06321, 04426,
                   04161, 06666, 01774, 03073, 05257, 07550, 00442, 02345,
                   06715, 04012, 03100, 01607, 07423, 05324, 02236, 00531,
                   01411, 03316, 04204, 06503, 00727, 02020, 05132, 07635,
                   03265, 01562, 06470, 04377, 02153, 00654, 07746, 05041,
                   00762, 02065, 05177, 07670, 01454, 03353, 04241, 06546,
                   02116, 00611, 07703, 05004, 03220, 01527, 06435, 04332,
                   05212, 07515, 00407, 02300, 04124, 06623, 01731, 03036,
                   07466, 05361, 02273, 00574, 06750, 04057, 03145, 01642,
                   01305, 03402, 04510, 06217, 00033, 02734, 05626, 07121,
                   03571, 01276, 06364, 04463, 02647, 00140, 07052, 05755,
                   04675, 06172, 01060, 03767, 05543, 07244, 00356, 02451,
                   06001, 04706, 03614, 01113, 07337, 05430, 02522, 00225,
                   03637, 01130, 06022, 04725, 02501, 00206, 07314, 05413,
                   01043, 03744, 04656, 06151, 00375, 02472, 05560, 07267,
                   06347, 04440, 03552, 01255, 07071, 05776, 02664, 00163,
                   04533, 06234, 01326, 03421, 05605, 07102, 00010, 02717,
                   02250, 00557, 07445, 05342, 03166, 01661, 06773, 04074,
                   00424, 02323, 05231, 07536, 01712, 03015, 04107, 06600,
                   07720, 05027, 02135, 00632, 06416, 04311, 03203, 01504,
                   05154, 07653, 00741, 02046, 04262, 06565, 01477, 03370,
                   00535, 02232, 05320, 07427, 01603, 03104, 04016, 06711,
                   02341, 00446, 07554, 05253, 03077, 01770, 06662, 04165,
                   05045, 07742, 00650, 02157, 04373, 06474, 01566, 03261,
                   07631, 05136, 02024, 00723, 06507, 04200, 03312, 01415,
                   01152, 03655, 04747, 06040, 00264, 02563, 05471, 07376,
                   03726, 01021, 06133, 04634, 02410, 00317, 07205, 05502,
                   04422, 06325, 01237, 03530, 05714, 07013, 00101, 02606,
                   06256, 04551, 03443, 01344, 07160, 05667, 02775, 00072,
                   03460, 01367, 06275, 04572, 02756, 00051, 07143, 05644,
                   01214, 03513, 04401, 06306, 00122, 02625, 05737, 07030,
                   06110, 04617, 03705, 01002, 07226, 05521, 02433, 00334,
                   04764, 06063, 01171, 03676, 05452, 07355, 00247, 02540,
                   02007, 00700, 07612, 05115, 03331, 01436, 06524, 04223,
                   00673, 02174, 05066, 07761, 01545, 03242, 04350, 06457,
                   07577, 05270, 02362, 00465, 06641, 04146, 03054, 01753,
                   05303, 07404, 00516, 02211, 04035, 06732, 01620, 03127,
                   06604, 04103, 03011, 01716, 07532, 05235, 02327, 00420,
                   04070, 06777, 01665, 03162, 05346, 07441, 00553, 02254,
                   03374, 01473, 06561, 04266, 02042, 00745, 07657, 05150,
                   01500, 03207, 04315, 06412, 00636, 02131, 05023, 07724,
                   07263, 05564, 02476, 00371, 06155, 04652, 03740, 01047,
                   05417, 07310, 00202, 02505, 04721, 06026, 01134, 03633,
                   02713, 00014, 07106, 05601, 03425, 01322, 06230, 04537,
                   00167, 02660, 05772, 07075, 01251, 03556, 04444, 06343,
                   05751, 07056, 00144, 02643, 04467, 06360, 01272, 03575,
                   07125, 05622, 02730, 00037, 06213, 04514, 03406, 01301,
                   00221, 02526, 05434, 07333, 01117, 03610, 04702, 06005,
                   02455, 00352, 07240, 05547, 03763, 01064, 06176, 04671,
                   04336, 06431, 01523, 03224, 05000, 07707, 00615, 02112,
                   06542, 04245, 03357, 01450, 07674, 05173, 02061, 00766,
                   01646, 03141, 04053, 06754, 00570, 02277, 05365, 07462,
                   03032, 01735, 06627, 04120, 02304, 00403, 07511, 05216,
                   07622, 05125, 02037, 00730, 06514, 04213, 03301, 01406,
                   05056, 07751, 00643, 02144, 04360, 06467, 01575, 03272,
                   02352, 00455, 07547, 05240, 03064, 01763, 06671, 04176,
                   00526, 02221, 05333, 07434, 01610, 03117, 04005, 06702,
                   06245, 04542, 03450, 01357, 07173, 05674, 02766, 00061,
                   04431, 06336, 01224, 03523, 05707, 07000, 00112, 02615,
                   03735, 01032, 06120, 04627, 02403, 00304, 07216, 05511,
                   01141, 03646, 04754, 06053, 00277, 02570, 05462, 07365,
                   04777, 06070, 01162, 03665, 05441, 07346, 00254, 02553,
                   06103, 04604, 03716, 01011, 07235, 05532, 02420, 00327,
                   01207, 03500, 04412, 06315, 00131, 02636, 05724, 07023,
                   03473, 01374, 06266, 04561, 02745, 00042, 07150, 05657,
                   05310, 07417, 00505, 02202, 04026, 06721, 01633, 03134,
                   07564, 05263, 02371, 00476, 06652, 04155, 03047, 01740,
                   00660, 02167, 05075, 07772, 01556, 03251, 04343, 06444,
                   02014, 00713, 07601, 05106, 03322, 01425, 06537, 04230,
                   01513, 03214, 04306, 06401, 00625, 02122, 05030, 07737,
                   03367, 01460, 06572, 04275, 02051, 00756, 07644, 05143,
                   04063, 06764, 01676, 03171, 05355, 07452, 00540, 02247,
                   06617, 04110, 03002, 01705, 07521, 05226, 02334, 00433,
                   00174, 02673, 05761, 07066, 01242, 03545, 04457, 06350,
                   02700, 00007, 07115, 05612, 03436, 01331, 06223, 04524,
                   05404, 07303, 00211, 02516, 04732, 06035, 01127, 03620,
                   07270, 05577, 02465, 00362, 06146, 04641, 03753, 01054,
                   02446, 00341, 07253, 05554, 03770, 01077, 06165, 04662,
                   00232, 02535, 05427, 07320, 01104, 03603, 04711, 06016,
                   07136, 05631, 02723, 00024, 06200, 04507, 03415, 01312,
                   05742, 07045, 00157, 02650, 04474, 06373, 01261, 03566,
                   03021, 01726, 06634, 04133, 02317, 00410, 07502, 05205,
                   01655, 03152, 04040, 06747, 00563, 02264, 05376, 07471,
                   06551, 04256, 03344, 01443, 07667, 05160, 02072, 00775,
                   04325, 06422, 01530, 03237, 05013, 07714, 00606, 02101,
                   01744, 03043, 04151, 06656, 00472, 02375, 05267, 07560,
                   03130, 01637, 06725, 04022, 02206, 00501, 07413, 05314,
                   04234, 06533, 01421, 03326, 05102, 07605, 00717, 02010,
                   06440, 04347, 03255, 01552, 07776, 05071, 02163, 00664,
                   00323, 02424, 05536, 07231, 01015, 03712, 04600, 06107,
                   02557, 00250, 07342, 05445, 03661, 01166, 06074, 04773,
                   05653, 07154, 00046, 02741, 04565, 06262, 01370, 03477,
                   07027, 05720, 02632, 00135, 06311, 04416, 03504, 01203,
                   02611, 00116, 07004, 05703, 03527, 01220, 06332, 04435,
                   00065, 02762, 05670, 07177, 01353, 03454, 04546, 06241,
                   07361, 05466, 02574, 00273, 06057, 04750, 03642, 01145,
                   05515, 07212, 00300, 02407, 04623, 06124, 01036, 03731,
                   03276, 01571, 06463, 04364, 02140, 00647, 07755, 05052,
                   01402, 03305, 04217, 06510, 00734, 02033, 05121, 07626,
                   06706, 04001, 03113, 01614, 07430, 05337, 02225, 00522,
                   04172, 06675, 01767, 03060, 05244, 07543, 00451, 02356,
                   07475, 05372, 02260, 00567, 06743, 04044, 03156, 01651,
                   05201, 07506, 00414, 02313, 04137, 06630, 01722, 03025,
                   02105, 00602, 07710, 05017, 03233, 01534, 06426, 04321,
                   00771, 02076, 05164, 07663, 01447, 03340, 04252, 06555,
                   06012, 04715, 03607, 01100, 07324, 05423, 02531, 00236,
                   04666, 06161, 01073, 03774, 05550, 07257, 00345, 02442,
                   03562, 01265, 06377, 04470, 02654, 00153, 07041, 05746,
                   01316, 03411, 04503, 06204, 00020, 02727, 05635, 07132,
                   04520, 06227, 01335, 03432, 05616, 07111, 00003, 02704,
                   06354, 04453, 03541, 01246, 07062, 05765, 02677, 00170,
                   01050, 03757, 04645, 06142, 00366, 02461, 05573, 07274,
                   03624, 01123, 06031, 04736, 02512, 00215, 07307, 05400,
                   05147, 07640, 00752, 02055, 04271, 06576, 01464, 03363,
                   07733, 05034, 02126, 00621, 06405, 04302, 03210, 01517,
                   00437, 02330, 05222, 07525, 01701, 03006, 04114, 06613,
                   02243, 00544, 07456, 05351, 03175, 01672, 06760, 04067,
                   01271, 03576, 04464, 06363, 00147, 02640, 05752, 07055,
                   03405, 01302, 06210, 04517, 02733, 00034, 07126, 05621,
                   04701, 06006, 01114, 03613, 05437, 07330, 00222, 02525,
                   06175, 04672, 03760, 01067, 07243, 05544, 02456, 00351,
                   00616, 02111, 05003, 07704, 01520, 03227, 04335, 06432,
                   02062, 00765, 07677, 05170, 03354, 01453, 06541, 04246,
                   05366, 07461, 00573, 02274, 04050, 06757, 01645, 03142,
                   07512, 05215, 02307, 00400, 06624, 04123, 03031, 01736,
                   02324, 00423, 07531, 05236, 03012, 01715, 06607, 04100,
                   00550, 02257, 05345, 07442, 01666, 03161, 04073, 06774,
                   07654, 05153, 02041, 00746, 06562, 04265, 03377, 01470,
                   05020, 07727, 00635, 02132, 04316, 06411, 01503, 03204,
                   03743, 01044, 06156, 04651, 02475, 00372, 07260, 05567,
                   01137, 03630, 04722, 06025, 00201, 02506, 05414, 07313,
                   06233, 04534, 03426, 01321, 07105, 05602, 02710, 00017,
                   04447, 06340, 01252, 03555, 05771, 07076, 00164, 02663,
                   07140, 05647, 02755, 00052, 06276, 04571, 03463, 01364,
                   05734, 07033, 00121, 02626, 04402, 06305, 01217, 03510,
                   02430, 00337, 07225, 05522, 03706, 01001, 06113, 04614,
                   00244, 02543, 05451, 07356, 01172, 03675, 04767, 06060,
                   06527, 04220, 03332, 01435, 07611, 05116, 02004, 00703,
                   04353, 06454, 01546, 03241, 05065, 07762, 00670, 02177,
                   03057, 01750, 06642, 04145, 02361, 00466, 07574, 05273,
                   01623, 03124, 04036, 06731, 00515, 02212, 05300, 07407,
                   04015, 06712, 01600, 03107, 05323, 07424, 00536, 02231,
                   06661, 04166, 03074, 01773, 07557, 05250, 02342, 00445,
                   01565, 03262, 04370, 06477, 00653, 02154, 05046, 07741,
                   03311, 01416, 06504, 04203, 02027, 00720, 07632, 05135,
                   05472, 07375, 00267, 02560, 04744, 06043, 01151, 03656,
                   07206, 05501, 02413, 00314, 06130, 04637, 03725, 01022,
                   00102, 02605, 05717, 07010, 01234, 03533, 04421, 06326,
                   02776, 00071, 07163, 05664, 03440, 01347, 06255, 04552,
                   07317, 05410, 02502, 00205, 06021, 04726, 03634, 01133,
                   05563, 07264, 00376, 02471, 04655, 06152, 01040, 03747,
                   02667, 00160, 07072, 05775, 03551, 01256, 06344, 04443,
                   00013, 02714, 05606, 07101, 01325, 03422, 04530, 06237,
                   06770, 04077, 03165, 01662, 07446, 05341, 02253, 00554,
                   04104, 06603, 01711, 03016, 05232, 07535, 00427, 02320,
                   03200, 01507, 06415, 04312, 02136, 00631, 07723, 05024,
                   01474, 03373, 04261, 06566, 00742, 02045, 05157, 07650,
                   04242, 06545, 01457, 03350, 05174, 07673, 00761, 02066,
                   06436, 04331, 03223, 01524, 07700, 05007, 02115, 00612,
                   01732, 03035, 04127, 06620, 00404, 02303, 05211, 07516,
                   03146, 01641, 06753, 04054, 02270, 00577, 07465, 05362,
                   05625, 07122, 00030, 02737, 04513, 06214, 01306, 03401,
                   07051, 05756, 02644, 00143, 06367, 04460, 03572, 01275,
                   00355, 02452, 05540, 07247, 01063, 03764, 04676, 06171,
                   02521, 00226, 07334, 05433, 03617, 01110, 06002, 04705,
                   01026, 03721, 04633, 06134, 00310, 02417, 05505, 07202,
                   03652, 01155, 06047, 04740, 02564, 00263, 07371, 05476,
                   04556, 06251, 01343, 03444, 05660, 07167, 00075, 02772,
                   06322, 04425, 03537, 01230, 07014, 05713, 02601, 00106,
                   00441, 02346, 05254, 07553, 01777, 03070, 04162, 06665,
                   02235, 00532, 07420, 05327, 03103, 01604, 06716, 04011,
                   05131, 07636, 00724, 02023, 04207, 06500, 01412, 03315,
                   07745, 05042, 02150, 00657, 06473, 04374, 03266, 01561,
                   02173, 00674, 07766, 05061, 03245, 01542, 06450, 04357,
                   00707, 02000, 05112, 07615, 01431, 03336, 04224, 06523,
                   07403, 05304, 02216, 00511, 06735, 04032, 03120, 01627,
                   05277, 07570, 00462, 02365, 04141, 06646, 01754, 03053,
                   03514, 01213, 06301, 04406, 02622, 00125, 07037, 05730,
                   01360, 03467, 04575, 06272, 00056, 02751, 05643, 07144,
                   06064, 04763, 03671, 01176, 07352, 05455, 02547, 00240,
                   04610, 06117, 01005, 03702, 05526, 07221, 00333, 02434,
                   05343, 07444, 00556, 02251, 04075, 06772, 01660, 03167,
                   07537, 05230, 02322, 00425, 06601, 04106, 03014, 01713,
                   00633, 02134, 05026, 07721, 01505, 03202, 04310, 06417,
                   02047, 00740, 07652, 05155, 03371, 01476, 06564, 04263,
                   04724, 06023, 01131, 03636, 05412, 07315, 00207, 02500,
                   06150, 04657, 03745, 01042, 07266, 05561, 02473, 00374,
                   01254, 03553, 04441, 06346, 00162, 02665, 05777, 07070,
                   03420, 01327, 06235, 04532, 02716, 00011, 07103, 05604,
                   06216, 04511, 03403, 01304, 07120, 05627, 02735, 00032,
                   04462, 06365, 01277, 03570, 05754, 07053, 00141, 02646,
                   03766, 01061, 06173, 04674, 02450, 00357, 07245, 05542,
                   01112, 03615, 04707, 06000, 00224, 02523, 05431, 07336,
                   07671, 05176, 02064, 00763, 06547, 04240, 03352, 01455,
                   05005, 07702, 00610, 02117, 04333, 06434, 01526, 03221,
                   02301, 00406, 07514, 05213, 03037, 01730, 06622, 04125,
                   00575, 02272, 05360, 07467, 01643, 03144, 04056, 06751,
                   03072, 01775, 06667, 04160, 02344, 00443, 07551, 05256,
                   01606, 03101, 04013, 06714, 00530, 02237, 05325, 07422,
                   06502, 04205, 03317, 01410, 07634, 05133, 02021, 00726,
                   04376, 06471, 01563, 03264, 05040, 07747, 00655, 02152,
                   02415, 00312, 07200, 05507, 03723, 01024, 06136, 04631,
                   00261, 02566, 05474, 07373, 01157, 03650, 04742, 06045,
                   07165, 05662, 02770, 00077, 06253, 04554, 03446, 01341,
                   05711, 07016, 00104, 02603, 04427, 06320, 01232, 03535,
                   00127, 02620, 05732, 07035, 01211, 03516, 04404, 06303,
                   02753, 00054, 07146, 05641, 03465, 01362, 06270, 04577,
                   05457, 07350, 00242, 02545, 04761, 06066, 01174, 03673,
                   07223, 05524, 02436, 00331, 06115, 04612, 03700, 01007,
                   01540, 03247, 04355, 06452, 00676, 02171, 05063, 07764,
                   03334, 01433, 06521, 04226, 02002, 00705, 07617, 05110,
                   04030, 06737, 01625, 03122, 05306, 07401, 00513, 02214,
                   06644, 04143, 03051, 01756, 07572, 05275, 02367, 00460,
                   03225, 01522, 06430, 04337, 02113, 00614, 07706, 05001,
                   01451, 03356, 04244, 06543, 00767, 02060, 05172, 07675,
                   06755, 04052, 03140, 01647, 07463, 05364, 02276, 00571,
                   04121, 06626, 01734, 03033, 05217, 07510, 00402, 02305,
                   02642, 00145, 07057, 05750, 03574, 01273, 06361, 04466,
                   00036, 02731, 05623, 07124, 01300, 03407, 04515, 06212,
                   07332, 05435, 02527, 00220, 06004, 04703, 03611, 01116,
                   05546, 07241, 00353, 02454, 04670, 06177, 01065, 03762,
                   00370, 02477, 05565, 07262, 01046, 03741, 04653, 06154,
                   02504, 00203, 07311, 05416, 03632, 01135, 06027, 04720,
                   05600, 07107, 00015, 02712, 04536, 06231, 01323, 03424,
                   07074, 05773, 02661, 00166, 06342, 04445, 03557, 01250,
                   01717, 03010, 04102, 06605, 00421, 02326, 05234, 07533,
                   03163, 01664, 06776, 04071, 02255, 00552, 07440, 05347,
                   04267, 06560, 01472, 03375, 05151, 07656, 00744, 02043,
                   06413, 04314, 03206, 01501, 07725, 05022, 02130, 00637,
                   05114, 07613, 00701, 02006, 04222, 06525, 01437, 03330,
                   07760, 05067, 02175, 00672, 06456, 04351, 03243, 01544,
                   00464, 02363, 05271, 07576, 01752, 03055, 04147, 06640,
                   02210, 00517, 07405, 05302, 03126, 01621, 06733, 04034,
                   04573, 06274, 01366, 03461, 05645, 07142, 00050, 02757,
                   06307, 04400, 03512, 01215, 07031, 05736, 02624, 00123,
                   01003, 03704, 04616, 06111, 00335, 02432, 05520, 07227,
                   03677, 01170, 06062, 04765, 02541, 00246, 07354, 05453,
                   06041, 04746, 03654, 01153, 07377, 05470, 02562, 00265,
                   04635, 06132, 01020, 03727, 05503, 07204, 00316, 02411,
                   03531, 01236, 06324, 04423, 02607, 00100, 07012, 05715,
                   01345, 03442, 04550, 06257, 00073, 02774, 05666, 07161,
                   07426, 05321, 02233, 00534, 06710, 04017, 03105, 01602,
                   05252, 07555, 00447, 02340, 04164, 06663, 01771, 03076,
                   02156, 00651, 07743, 05044, 03260, 01567, 06475, 04372,
                   00722, 02025, 05137, 07630, 01414, 03313, 04201, 06506,
                   03710, 01017, 06105, 04602, 02426, 00321, 07233, 05534,
                   01164, 03663, 04771, 06076, 00252, 02555, 05447, 07340,
                   06260, 04567, 03475, 01372, 07156, 05651, 02743, 00044,
                   04414, 06313, 01201, 03506, 05722, 07025, 00137, 02630,
                   02377, 00470, 07562, 05265, 03041, 01746, 06654, 04153,
                   00503, 02204, 05316, 07411, 01635, 03132, 04020, 06727,
                   07607, 05100, 02012, 00715, 06531, 04236, 03324, 01423,
                   05073, 07774, 00666, 02161, 04345, 06442, 01550, 03257,
                   00645, 02142, 05050, 07757, 01573, 03274, 04366, 06461,
                   02031, 00736, 07624, 05123, 03307, 01400, 06512, 04215,
                   05335, 07432, 00520, 02227, 04003, 06704, 01616, 03111,
                   07541, 05246, 02354, 00453, 06677, 04170, 03062, 01765,
                   01222, 03525, 04437, 06330, 00114, 02613, 05701, 07006,
                   03456, 01351, 06243, 04544, 02760, 00067, 07175, 05672,
                   04752, 06055, 01147, 03640, 05464, 07363, 00271, 02576,
                   06126, 04621, 03733, 01034, 07210, 05517, 02405, 00302,
                   05421, 07326, 00234, 02533, 04717, 06010, 01102, 03605,
                   07255, 05552, 02440, 00347, 06163, 04664, 03776, 01071,
                   00151, 02656, 05744, 07043, 01267, 03560, 04472, 06375,
                   02725, 00022, 07130, 05637, 03413, 01314, 06206, 04501,
                   04046, 06741, 01653, 03154, 05370, 07477, 00565, 02262,
                   06632, 04135, 03027, 01720, 07504, 05203, 02311, 00416,
                   01536, 03231, 04323, 06424, 00600, 02107, 05015, 07712,
                   03342, 01445, 06557, 04250, 02074, 00773, 07661, 05166,
                   06574, 04273, 03361, 01466, 07642, 05145, 02057, 00750,
                   04300, 06407, 01515, 03212, 05036, 07731, 00623, 02124,
                   03004, 01703, 06611, 04116, 02332, 00435, 07527, 05220,
                   01670, 03177, 04065, 06762, 00546, 02241, 05353, 07454,
                   07113, 05614, 02706, 00001, 06225, 04522, 03430, 01337,
                   05767, 07060, 00172, 02675, 04451, 06356, 01244, 03543,
                   02463, 00364, 07276, 05571, 03755, 01052, 06140, 04647,
                   00217, 02510, 05402, 07305, 01121, 03626, 04734, 06033,
                   05676, 07171, 00063, 02764, 04540, 06247, 01355, 03452,
                   07002, 05705, 02617, 00110, 06334, 04433, 03521, 01226,
                   00306, 02401, 05513, 07214, 01030, 03737, 04625, 06122,
                   02572, 00275, 07367, 05460, 03644, 01143, 06051, 04756,
                   04211, 06516, 01404, 03303, 05127, 07620, 00732, 02035,
                   06465, 04362, 03270, 01577, 07753, 05054, 02146, 00641,
                   01761, 03066, 04174, 06673, 00457, 02350, 05242, 07545,
                   03115, 01612, 06700, 04007, 02223, 00524, 07436, 05331,
                   06723, 04024, 03136, 01631, 07415, 05312, 02200, 00507,
                   04157, 06650, 01742, 03045, 05261, 07566, 00474, 02373,
                   03253, 01554, 06446, 04341, 02165, 00662, 07770, 05077,
                   01427, 03320, 04232, 06535, 00711, 02016, 05104, 07603,
                   07344, 05443, 02551, 00256, 06072, 04775, 03667, 01160,
                   05530, 07237, 00325, 02422, 04606, 06101, 01013, 03714,
                   02634, 00133, 07021, 05726, 03502, 01205, 06317, 04410,
                   00040, 02747, 05655, 07152, 01376, 03471, 04563, 06264,
                   03547, 01240, 06352, 04455, 02671, 00176, 07064, 05763,
                   01333, 03434, 04526, 06221, 00005, 02702, 05610, 07117,
                   06037, 04730, 03622, 01125, 07301, 05406, 02514, 00213,
                   04643, 06144, 01056, 03751, 05575, 07272, 00360, 02467,
                   02120, 00627, 07735, 05032, 03216, 01511, 06403, 04304,
                   00754, 02053, 05141, 07646, 01462, 03365, 04277, 06570,
                   07450, 05357, 02245, 00542, 06766, 04061, 03173, 01674,
                   05224, 07523, 00431, 02336, 04112, 06615, 01707, 03000,
                   00412, 02315, 05207, 07500, 01724, 03023, 04131, 06636,
                   02266, 00561, 07473, 05374, 03150, 01657, 06745, 04042,
                   05162, 07665, 00777, 02070, 04254, 06553, 01441, 03346,
                   07716, 05011, 02103, 00604, 06420, 04327, 03235, 01532,
                   01075, 03772, 04660, 06167, 00343, 02444, 05556, 07251,
                   03601, 01106, 06014, 04713, 02537, 00230, 07322, 05425,
                   04505, 06202, 01310, 03417, 05633, 07134, 00026, 02721,
                   06371, 04476, 03564, 01263, 07047, 05740, 02652, 00155,
                   02561, 00266, 07374, 05473, 03657, 01150, 06042, 04745,
                   00315, 02412, 05500, 07207, 01023, 03724, 04636, 06131,
                   07011, 05716, 02604, 00103, 06327, 04420, 03532, 01235,
                   05665, 07162, 00070, 02777, 04553, 06254, 01346, 03441,
                   03106, 01601, 06713, 04014, 02230, 00537, 07425, 05322,
                   01772, 03075, 04167, 06660, 00444, 02343, 05251, 07556,
                   06476, 04371, 03263, 01564, 07740, 05047, 02155, 00652,
                   04202, 06505, 01417, 03310, 05134, 07633, 00721, 02026,
                   01434, 03333, 04221, 06526, 00702, 02005, 05117, 07610,
                   03240, 01547, 06455, 04352, 02176, 00671, 07763, 05064,
                   04144, 06643, 01751, 03056, 05272, 07575, 00467, 02360,
                   06730, 04037, 03125, 01622, 07406, 05301, 02213, 00514,
                   00053, 02754, 05646, 07141, 01365, 03462, 04570, 06277,
                   02627, 00120, 07032, 05735, 03511, 01216, 06304, 04403,
                   05523, 07224, 00336, 02431, 04615, 06112, 01000, 03707,
                   07357, 05450, 02542, 00245, 06061, 04766, 03674, 01173,
                   04650, 06157, 01045, 03742, 05566, 07261, 00373, 02474,
                   06024, 04723, 03631, 01136, 07312, 05415, 02507, 00200,
                   01320, 03427, 04535, 06232, 00016, 02711, 05603, 07104,
                   03554, 01253, 06341, 04446, 02662, 00165, 07077, 05770,
                   05237, 07530, 00422, 02325, 04101, 06606, 01714, 03013,
                   07443, 05344, 02256, 00551, 06775, 04072, 03160, 01667,
                   00747, 02040, 05152, 07655, 01471, 03376, 04264, 06563,
                   02133, 00634, 07726, 05021, 03205, 01502, 06410, 04317,
                   07705, 05002, 02110, 00617, 06433, 04334, 03226, 01521,
                   05171, 07676, 00764, 02063, 04247, 06540, 01452, 03355,
                   02275, 00572, 07460, 05367, 03143, 01644, 06756, 04051,
                   00401, 02306, 05214, 07513, 01737, 03030, 04122, 06625,
                   06362, 04465, 03577, 01270, 07054, 05753, 02641, 00146,
                   04516, 06211, 01303, 03404, 05620, 07127, 00035, 02732,
                   03612, 01115, 06007, 04700, 02524, 00223, 07331, 05436,
                   01066, 03761, 04673, 06174, 00350, 02457, 05545, 07242,
                   04407, 06300, 01212, 03515, 05731, 07036, 00124, 02623,
                   06273, 04574, 03466, 01361, 07145, 05642, 02750, 00057,
                   01177, 03670, 04762, 06065, 00241, 02546, 05454, 07353,
                   03703, 01004, 06116, 04611, 02435, 00332, 07220, 05527,
                   05060, 07767, 00675, 02172, 04356, 06451, 01543, 03244,
                   07614, 05113, 02001, 00706, 06522, 04225, 03337, 01430,
                   00510, 02217, 05305, 07402, 01626, 03121, 04033, 06734,
                   02364, 00463, 07571, 05276, 03052, 01755, 06647, 04140,
                   07552, 05255, 02347, 00440, 06664, 04163, 03071, 01776,
                   05326, 07421, 00533, 02234, 04010, 06717, 01605, 03102,
                   02022, 00725, 07637, 05130, 03314, 01413, 06501, 04206,
                   00656, 02151, 05043, 07744, 01560, 03267, 04375, 06472,
                   06135, 04632, 03720, 01027, 07203, 05504, 02416, 00311,
                   04741, 06046, 01154, 03653, 05477, 07370, 00262, 02565,
                   03445, 01342, 06250, 04557, 02773, 00074, 07166, 05661,
                   01231, 03536, 04424, 06323, 00107, 02600, 05712, 07015,
                   02736, 00031, 07123, 05624, 03400, 01307, 06215, 04512,
                   00142, 02645, 05757, 07050, 01274, 03573, 04461, 06366,
                   07246, 05541, 02453, 00354, 06170, 04677, 03765, 01062,
                   05432, 07335, 00227, 02520, 04704, 06003, 01111, 03616,
                   03351, 01456, 06544, 04243, 02067, 00760, 07672, 05175,
                   01525, 03222, 04330, 06437, 00613, 02114, 05006, 07701,
                   06621, 04126, 03034, 01733, 07517, 05210, 02302, 00405,
                   04055, 06752, 01640, 03147, 05363, 07464, 00576, 02271,
                   01663, 03164, 04076, 06771, 00555, 02252, 05340, 07447,
                   03017, 01710, 06602, 04105, 02321, 00426, 07534, 05233,
                   04313, 06414, 01506, 03201, 05025, 07722, 00630, 02137,
                   06567, 04260, 03372, 01475, 07651, 05156, 02044, 00743,
                   00204, 02503, 05411, 07316, 01132, 03635, 04727, 06020,
                   02470, 00377, 07265, 05562, 03746, 01041, 06153, 04654,
                   05774, 07073, 00161, 02666, 04442, 06345, 01257, 03550,
                   07100, 05607, 02715, 00012, 06236, 04531, 03423, 01324,
                   04132, 06635, 01727, 03020, 05204, 07503, 00411, 02316,
                   06746, 04041, 03153, 01654, 07470, 05377, 02265, 00562,
                   01442, 03345, 04257, 06550, 00774, 02073, 05161, 07666,
                   03236, 01531, 06423, 04324, 02100, 00607, 07715, 05012,
                   05555, 07252, 00340, 02447, 04663, 06164, 01076, 03771,
                   07321, 05426, 02534, 00233, 06017, 04710, 03602, 01105,
                   00025, 02722, 05630, 07137, 01313, 03414, 04506, 06201,
                   02651, 00156, 07044, 05743, 03567, 01260, 06372, 04475,
                   07067, 05760, 02672, 00175, 06351, 04456, 03544, 01243,
                   05613, 07114, 00006, 02701, 04525, 06222, 01330, 03437,
                   02517, 00210, 07302, 05405, 03621, 01126, 06034, 04733,
                   00363, 02464, 05576, 07271, 01055, 03752, 04640, 06147,
                   06400, 04307, 03215, 01512, 07736, 05031, 02123, 00624,
                   04274, 06573, 01461, 03366, 05142, 07645, 00757, 02050,
                   03170, 01677, 06765, 04062, 02246, 00541, 07453, 05354,
                   01704, 03003, 04111, 06616, 00432, 02335, 05227, 07520,
                   02203, 00504, 07416, 05311, 03135, 01632, 06720, 04027,
                   00477, 02370, 05262, 07565, 01741, 03046, 04154, 06653,
                   07773, 05074, 02166, 00661, 06445, 04342, 03250, 01557,
                   05107, 07600, 00712, 02015, 04231, 06536, 01424, 03323,
                   03664, 01163, 06071, 04776, 02552, 00255, 07347, 05440,
                   01010, 03717, 04605, 06102, 00326, 02421, 05533, 07234,
                   06314, 04413, 03501, 01206, 07022, 05725, 02637, 00130,
                   04560, 06267, 01375, 03472, 05656, 07151, 00043, 02744,
                   01356, 03451, 04543, 06244, 00060, 02767, 05675, 07172,
                   03522, 01225, 06337, 04430, 02614, 00113, 07001, 05706,
                   04626, 06121, 01033, 03734, 05510, 07217, 00305, 02402,
                   06052, 04755, 03647, 01140, 07364, 05463, 02571, 00276,
                   00731, 02036, 05124, 07623, 01407, 03300, 04212, 06515,
                   02145, 00642, 07750, 05057, 03273, 01574, 06466, 04361,
                   05241, 07546, 00454, 02353, 04177, 06670, 01762, 03065,
                   07435, 05332, 02220, 00527, 06703, 04004, 03116, 01611,
                   02054, 00753, 07641, 05146, 03362, 01465, 06577, 04270,
                   00620, 02127, 05035, 07732, 01516, 03211, 04303, 06404,
                   07524, 05223, 02331, 00436, 06612, 04115, 03007, 01700,
                   05350, 07457, 00545, 02242, 04066, 06761, 01673, 03174,
                   03433, 01334, 06226, 04521, 02705, 00002, 07110, 05617,
                   01247, 03540, 04452, 06355, 00171, 02676, 05764, 07063,
                   06143, 04644, 03756, 01051, 07275, 05572, 02460, 00367,
                   04737, 06030, 01122, 03625, 05401, 07306, 00214, 02513,
                   01101, 03606, 04714, 06013, 00237, 02530, 05422, 07325,
                   03775, 01072, 06160, 04667, 02443, 00344, 07256, 05551,
                   04471, 06376, 01264, 03563, 05747, 07040, 00152, 02655,
                   06205, 04502, 03410, 01317, 07133, 05634, 02726, 00021,
                   00566, 02261, 05373, 07474, 01650, 03157, 04045, 06742,
                   02312, 00415, 07507, 05200, 03024, 01723, 06631, 04136,
                   05016, 07711, 00603, 02104, 04320, 06427, 01535, 03232,
                   07662, 05165, 02077, 00770, 06554, 04253, 03341, 01446,
                   04365, 06462, 01570, 03277, 05053, 07754, 00646, 02141,
                   06511, 04216, 03304, 01403, 07627, 05120, 02032, 00735,
                   01615, 03112, 04000, 06707, 00523, 02224, 05336, 07431,
                   03061, 01766, 06674, 04173, 02357, 00450, 07542, 05245,
                   05702, 07005, 00117, 02610, 04434, 06333, 01221, 03526,
                   07176, 05671, 02763, 00064, 06240, 04547, 03455, 01352,
                   00272, 02575, 05467, 07360, 01144, 03643, 04751, 06056,
                   02406, 00301, 07213, 05514, 03730, 01037, 06125, 04622,
                   07230, 05537, 02425, 00322, 06106, 04601, 03713, 01014,
                   05444, 07343, 00251, 02556, 04772, 06075, 01167, 03660,
                   02740, 00047, 07155, 05652, 03476, 01371, 06263, 04564,
                   00134, 02633, 05721, 07026, 01202, 03505, 04417, 06310,
                   06657, 04150, 03042, 01745, 07561, 05266, 02374, 00473,
                   04023, 06724, 01636, 03131, 05315, 07412, 00500, 02207,
                   03327, 01420, 06532, 04235, 02011, 00716, 07604, 05103,
                   01553, 03254, 04346, 06441, 00665, 02162, 05070, 07777};

// errwt.h
//    error weight matrix 
int wt[4096] = {   0,	   1,	   1,	   2,	   1,	   2,	   2,	   3,
		               1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
		               1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
		               1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
		               3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
		               4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
		               1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
		               2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
		               3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   2,	   3,	   2,	   3,	   1,	   2,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   2,	   3,	   2,	   2,	   1,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   1,	   2,	   2,	   3,
					         4,	   3,	   3,	   2,	   3,	   2,	   2,	   1,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   2,	   4,	   3,	   2,	   1,	   3,	   2,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   2,	   2,	   1,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         1,	   2,	   2,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   2,	   4,	   3,	   2,	   1,	   3,	   2,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   2,	   3,	   2,	   3,	   1,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   1,	   3,	   2,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   2,	   2,	   1,	   4,	   3,	   3,	   2,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   2,	   3,	   3,	   4,
					         4,	   3,	   3,	   2,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   2,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   2,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         2,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         2,	   3,	   1,	   2,	   3,	   4,	   2,	   3,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         3,	   4,	   2,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4,
					         4,	   3,	   3,	   4,	   3,	   4,	   2,	   3,
					         4,	   3,	   3,	   4,	   3,	   2,	   4,	   3,
					         3,	   4,	   4,	   3,	   4,	   3,	   3,	   4 };

//  "errpat.h
//     error pattern matrix
int  e[4096] = {    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,  02002,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,   0600,
                    0,      0,      0,      0,      0,      0,      0,    040,
                    0,      0,      0,    011,      0,  04004,  01120,    011,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,    060,
                    0,      0,      0,      0,      0,      0,      0,  04300,
                    0,      0,      0,    011,      0,  01400,     04,     04,
                    0,      0,      0,      0,      0,      0,      0,  03004,
                    0,      0,      0,    011,      0,   0100,  04002,    011,
                    0,      0,      0,    011,      0,    022,   0400,    011,
                    0,    011,    011,    011,  02240,    011,     04,    011,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,   0600,
                    0,      0,      0,      0,      0,      0,      0,  01010,
                    0,      0,      0,  04020,      0,   0141,     04,     04,
                    0,      0,      0,      0,      0,      0,      0,   0600,
                    0,      0,      0,   0600,      0,   0600,   0600,   0600,
                    0,      0,      0,   0104,      0,    022,  06001,    022,
                    0,  03000,    042,    011,    010,    010,     04,   0600,
                    0,      0,      0,      0,      0,      0,      0,     01,
                    0,      0,      0,  01102,      0,  06010,     04,     01,
                    0,      0,      0,  02440,      0,    022,     04,     01,
                    0,   0200,     04,     04,     04,     04,     04,     04,
                    0,      0,      0,  04000,      0,    022,   0150,     01,
                    0,    044,  02020,    011,  01001,    022,     04,   0600,
                    0,    022,  01200,    011,    022,    022,     04,    022,
                04500,    011,     04,    011,     04,    022,     04,     04,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,   0114,
                    0,      0,      0,      0,      0,      0,      0,    040,
                    0,      0,      0,  04020,      0,  01400,   0201,    040,
                    0,      0,      0,      0,      0,      0,      0,    040,
                    0,      0,      0,  01000,      0,  02021,  04002,    040,
                    0,      0,      0,    040,      0,    040,    040,    040,
                    0,   0302,  02404,    011,    010,    010,    010,    040,
                    0,      0,      0,      0,      0,      0,      0,     01,
                    0,      0,      0,  02200,      0,  01400,  04002,     01,
                    0,      0,      0,     06,      0,  01400,  02030,     01,
                    0,  01400,   0140,     06,  01400,  01400,     04,  01400,
                    0,      0,      0,   0520,      0,   0210,  04002,     01,
                    0,    044,  04002,    011,  04002,    044,  04002,  04002,
                    0,  06000,  01200,     06,   0105,    022,    040,    040,
                  020,    011,    011,    011,    010,  01400,  04002,    011,
                    0,      0,      0,      0,      0,      0,      0,     01,
                    0,      0,      0,  04020,      0,     02,  03040,     01,
                    0,      0,      0,  04020,      0,  02204,   0502,     01,
                    0,  04020,  04020,  04020,    010,     02,     04,  04020,
                    0,      0,      0,  02012,      0,  05100,    024,     01,
                    0,    044,   0101,    044,    010,     02,    010,   0600,
                    0,   0401,  01200,    040,    010,    010,    010,    040,
                  010,    010,    010,  04020,    010,    010,    010,    010,
                    0,      0,      0,     01,      0,     01,     01,     01,
                    0,    044,   0410,     01,   0320,     01,     01,     01,
                    0,   0110,  01200,     01,  04040,     01,     01,     01,
                02003,    044,     04,  04020,     04,  01400,     04,     01,
                    0,    044,  01200,     01,  02400,     01,     01,     01,
                  044,    044,    044,    044,    010,    044,  04002,     01,
                01200,    022,  01200,  01200,    010,    022,  01200,     01,
                  010,    044,  01200,    011,    010,    010,     04,  02100,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,  05001,
                    0,      0,      0,      0,      0,      0,      0,    040,
                    0,      0,      0,   0500,      0,   0230,     04,     04,
                    0,      0,      0,      0,      0,      0,      0,    040,
                    0,      0,      0,    026,      0,   0100,  02010,    026,
                    0,      0,      0,    040,      0,    040,    040,    040,
                    0,  03000,  04200,    011,   0403,    040,     04,    040,
                    0,      0,      0,      0,      0,      0,      0,   0412,
                    0,      0,      0,  02200,      0,   0100,     04,     04,
                    0,      0,      0,  01020,      0,  02001,     04,     04,
                    0,  04042,     04,     04,     04,     04,     04,     04,
                    0,      0,      0,  04000,      0,   0100,   0221,    040,
                    0,   0100,  01440,    011,   0100,   0100,     04,   0100,
                    0,   0604,  02102,    011,  05010,    022,     04,    040,
                  020,    011,     04,    011,     04,   0100,     04,     04,
                    0,      0,      0,      0,      0,      0,      0,  02120,
                    0,      0,      0,    050,      0,     02,     04,     02,
                    0,      0,      0,   0203,      0,  04400,     04,     04,
                    0,  03000,     04,     04,     04,     02,     04,     04,
                    0,      0,      0,  04000,      0,    015,  01002,    015,
                    0,  03000,   0101,    026,  04060,     02,     04,   0600,
                    0,  03000,   0430,    040,   0300,    015,     04,    040,
                03000,  03000,     04,  03000,     04,  03000,     04,     04,
                    0,      0,      0,  04000,      0,  01240,     04,     01,
                    0,   0421,     04,     04,     04,     02,     04,     04,
                    0,   0110,     04,     04,     04,     04,     04,     04,
                   04,     04,     04,     04,     04,     04,     04,     04,
                    0,  04000,  04000,  04000,  02400,    015,     04,  04000,
                 0212,    044,     04,  04000,     04,   0100,     04,     04,
                  041,    022,     04,  04000,     04,    022,     04,     04,
                   04,  03000,     04,     04,     04,     04,     04,     04,
                    0,      0,      0,      0,      0,      0,      0,    040,
                    0,      0,      0,  02200,      0,     02,   0420,     02,
                    0,      0,      0,    040,      0,    040,    040,    040,
                    0,     05,  01012,     05,  06100,     02,     04,    040,
                    0,      0,      0,    040,      0,    040,    040,    040,
                    0,  04410,   0101,    026,  01204,     02,    040,    040,
                    0,    040,    040,    040,    040,    040,    040,    040,
                  020,     05,    020,    040,    010,    040,    040,    040,
                    0,      0,      0,  02200,      0,  04024,  01100,     01,
                    0,  02200,  02200,  02200,    051,     02,     04,  02200,
                    0,   0110,  04401,     06,   0202,    040,     04,    040,
                  020,     05,     04,  02200,     04,  01400,     04,     04,
                    0,  01003,    014,    014,  02400,    040,    014,    040,
                  020,    020,    014,  02200,    020,   0100,  04002,    040,
                  020,    020,    014,    040,    020,    040,    040,    040,
                  020,    020,    020,    011,    020,    020,     04,    040,
                    0,      0,      0,  01404,      0,     02,  04210,     01,
                    0,     02,   0101,     02,     02,     02,     02,     02,
                    0,   0110,  02000,    040,  01021,     02,     04,    040,
                 0640,     02,     04,  04020,     02,     02,     04,     02,
                    0,   0220,   0101,    040,  02400,     02,    024,    040,
                 0101,     02,   0101,   0101,     02,     02,   0101,     02,
                04006,    040,    040,    040,    010,    040,    040,    040,
                  010,  03000,   0101,    040,    010,     02,     04,    040,
                    0,   0110,    062,     01,  02400,     01,     01,     01,
                05000,     02,     04,  02200,     02,     02,     04,     01,
                 0110,   0110,     04,   0110,     04,   0110,     04,     01,
                   04,   0110,     04,     04,     04,     02,     04,     04,
                02400,    044,    014,  04000,  02400,  02400,  02400,     01,
                  020,    044,   0101,    044,  02400,     02,     04,  01030,
                  020,   0110,  01200,    040,  02400,    022,     04,    040,
                  020,    020,     04,   0402,     04,  04201,     04,     04,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,  02002,
                    0,      0,      0,      0,      0,      0,      0,  02002,
                    0,      0,      0,  02002,      0,  02002,  02002,  02002,
                    0,      0,      0,      0,      0,      0,      0,  04030,
                    0,      0,      0,  01000,      0,   0100,    045,    045,
                    0,      0,      0,   0104,      0,  01201,   0400,    040,
                    0,   0460,  04200,    011,    010,    010,    010,  02002,
                    0,      0,      0,      0,      0,      0,      0,     01,
                    0,      0,      0,  04404,      0,   0100,  01210,     01,
                    0,      0,      0,  01020,      0,    054,   0400,     01,
                    0,   0200,   0140,    011,  04021,    054,     04,  02002,
                    0,      0,      0,   0242,      0,   0100,   0400,     01,
                    0,   0100,  02020,    011,   0100,   0100,    045,   0100,
                    0,  06000,   0400,    011,   0400,    022,   0400,   0400,
                01006,    011,    011,    011,    010,   0100,   0400,    011,
                    0,      0,      0,      0,      0,      0,      0,     01,
                    0,      0,      0,    050,      0,  01024,  04100,     01,
                    0,      0,      0,   0104,      0,  04400,   0260,     01,
                    0,   0200,  01401,    050,    010,    010,     04,  02002,
                    0,      0,      0,   0104,      0,  02040,  01002,     01,
                    0,  04003,  02020,    050,    010,    010,    010,   0600,
                    0,   0104,   0104,   0104,    010,    010,    010,   0104,
                  010,    010,    010,   0104,    010,    010,    010,    010,
                    0,      0,      0,     01,      0,     01,     01,     01,
                    0,   0200,  02020,     01,   0442,     01,     01,     01,
                    0,   0200,  04012,     01,  03100,     01,     01,     01,
                 0200,   0200,     04,   0200,     04,   0200,     04,     01,
                    0,  01410,  02020,     01,  04204,     01,     01,     01,
                02020,    044,  02020,  02020,    010,   0100,  02020,     01,
                  041,    022,    041,   0104,    010,    022,   0400,     01,
                  010,   0200,  02020,    011,    010,    010,     04,  05040,
                    0,      0,      0,      0,      0,      0,      0,     01,
                    0,      0,      0,  01000,      0,  04240,   0420,     01,
                    0,      0,      0,   0610,      0,   0120,  05004,     01,
                    0,     05,   0140,     05,    010,     05,    010,  02002,
                    0,      0,      0,  01000,      0,   0406,  02300,     01,
                    0,  01000,  01000,  01000,    010,    010,    010,  01000,
                    0,  06000,    023,    023,    010,    010,    010,    040,
                  010,     05,    010,  01000,    010,    010,    010,    010,
                    0,      0,      0,     01,      0,     01,     01,     01,
                    0,    032,   0140,     01,  02004,     01,     01,     01,
                    0,  06000,   0140,     01,   0202,     01,     01,     01,
                 0140,     05,   0140,   0140,    010,  01400,   0140,     01,
                    0,  06000,    014,     01,  01060,     01,     01,     01,
                 0601,    032,    014,  01000,    010,   0100,  04002,     01,
                06000,  06000,    014,  06000,    010,  06000,   0400,     01,
                  010,  06000,   0140,    011,    010,    010,    010,   0224,
                    0,      0,      0,     01,      0,     01,     01,     01,
                    0,  02500,   0206,     01,    010,     01,     01,     01,
                    0,  01042,  02000,     01,    010,     01,     01,     01,
                  010,     05,    010,  04020,    010,    010,    010,     01,
                    0,   0220,  04440,     01,    010,     01,     01,     01,
                  010,    010,    010,  01000,    010,    010,    010,     01,
                  010,    010,    010,   0104,    010,    010,    010,     01,
                  010,    010,    010,    010,    010,    010,    010,    010,
                    0,     01,     01,     01,     01,     01,     01,     01,
                05000,     01,     01,     01,     01,     01,     01,     01,
                 0424,     01,     01,     01,     01,     01,     01,     01,
                  010,   0200,   0140,     01,    010,     01,     01,     01,
                 0102,     01,     01,     01,     01,     01,     01,     01,
                  010,    044,  02020,     01,    010,     01,     01,     01,
                  010,  06000,  01200,     01,    010,     01,     01,     01,
                  010,    010,    010,   0402,    010,    010,    010,     01,
                    0,      0,      0,      0,      0,      0,      0,   0204,
                    0,      0,      0,    050,      0,   0100,   0420,    050,
                    0,      0,      0,  01020,      0,  04400,   0111,    040,
                    0,     05,  04200,     05,  01040,     05,     04,  02002,
                    0,      0,      0,  02401,      0,   0100,  01002,    040,
                    0,   0100,  04200,    026,   0100,   0100,    045,   0100,
                    0,    012,  04200,    012,  02024,    012,    040,    040,
                04200,     05,  04200,  04200,    010,   0100,  04200,    021,
                    0,      0,      0,  01020,      0,   0100,  06040,     01,
                    0,   0100,     03,     03,   0100,   0100,     03,   0100,
                    0,  01020,  01020,  01020,   0202,    054,     04,  01020,
                02410,     05,     03,  01020,     04,   0100,     04,     04,
                    0,   0100,    014,    014,   0100,   0100,    014,   0100,
                 0100,   0100,     03,   0100,   0100,   0100,   0100,   0100,
                  041,    012,    014,  01020,    041,   0100,   0400,    040,
                  020,   0100,  04200,    011,   0100,   0100,     04,   0100,
                    0,      0,      0,    050,      0,  04400,  01002,     01,
                    0,    050,    050,    050,  02201,     02,     04,    050,
                    0,  04400,  02000,    050,  04400,  04400,     04,  04400,
                 0122,     05,     04,    050,     04,  04400,     04,     04,
                    0,   0220,  01002,    050,  01002,    015,  01002,  01002,
                 0404,    050,    050,    050,    010,   0100,  01002,    021,
                  041,    012,    041,   0104,    010,  04400,  01002,    021,
                  010,  03000,  04200,    021,    010,    010,     04,    021,
                    0,  02006,   0700,     01,    030,     01,     01,     01,
                05000,    050,     03,    050,     04,   0100,     04,     01,
                  041,    041,     04,  01020,     04,  04400,     04,     01,
                   04,   0200,     04,     04,     04,     04,     04,     04,
                  041,    041,    014,  04000,    030,   0100,  01002,     01,
                  041,   0100,  02020,    050,   0100,   0100,     04,   0100,
                  041,    041,    041,    041,    041,    022,     04,  02210,
                  041,    041,     04,   0402,     04,   0100,     04,     04,
                    0,      0,      0,  04102,      0,  03010,   0420,     01,
                    0,     05,   0420,     05,   0420,     02,   0420,   0420,
                    0,     05,  02000,     05,   0202,     05,    040,    040,
                   05,     05,     05,     05,     05,     05,   0420,     05,
                    0,   0220,    014,    014,  04001,    040,    014,    040,
                02042,     05,    014,  01000,    010,   0100,   0420,    040,
                01500,     05,    014,    040,    010,    040,    040,    040,
                   05,     05,  04200,     05,    010,     05,    010,    040,
                    0,   0440,    014,     01,   0202,     01,     01,     01,
                05000,     05,     03,  02200,    051,   0100,   0420,     01,
                 0202,     05,    014,  01020,   0202,   0202,   0202,     01,
                   05,     05,   0140,     05,   0202,     05,     04,  04010,
                  014,    014,    014,    014,    014,   0100,    014,     01,
                  014,   0100,    014,    014,   0100,   0100,    014,   0100,
                  014,  06000,    014,    014,   0202,    040,    014,    040,
                  020,     05,    014,   0402,    010,   0100,  03001,    040,
                    0,   0220,  02000,     01,   0144,     01,     01,     01,
                05000,     02,    050,    050,     02,     02,   0420,     01,
                02000,     05,  02000,  02000,    010,  04400,  02000,     01,
                   05,     05,  02000,     05,    010,     02,     04,  01300,
                 0220,   0220,    014,   0220,    010,   0220,  01002,     01,
                  010,   0220,   0101,    050,    010,     02,    010,  06004,
                  010,   0220,  02000,    040,    010,    010,    010,    040,
                  010,     05,    010,   0402,    010,    010,    010,    010,
                05000,     01,     01,     01,     01,     01,     01,     01,
                05000,  05000,  05000,     01,  05000,     01,     01,     01,
                  041,   0110,  02000,     01,   0202,     01,     01,     01,
                05000,     05,     04,   0402,     04,  02060,     04,     01,
                  014,   0220,    014,     01,  02400,     01,     01,     01,
                05000,    044,    014,   0402,    010,   0100,   0240,     01,
                  041,    041,    014,   0402,    010,  01004,  04120,     01,
                  010,   0402,   0402,   0402,    010,    010,     04,   0402,
                    0,      0,      0,      0,      0,      0,      0,      0,
                    0,      0,      0,      0,      0,      0,      0,    060,
                    0,      0,      0,      0,      0,      0,      0,  01010,
                    0,      0,      0,   0500,      0,  04004,   0201,    060,
                    0,      0,      0,      0,      0,      0,      0,   0103,
                    0,      0,      0,  01000,      0,  04004,  02010,    060,
                    0,      0,      0,  02220,      0,  04004,   0400,    040,
                    0,  04004,    042,    011,  04004,  04004,    042,  04004,
                    0,      0,      0,      0,      0,      0,      0,    060,
                    0,      0,      0,    060,      0,    060,    060,    060,
                    0,      0,      0,     06,      0,  02001,   0400,     06,
                    0,   0200,  07000,     06,   0112,    060,     04,    060,
                    0,      0,      0,  04000,      0,   0210,   0400,    060,
                    0,  02402,   0304,    011,  01001,    060,    060,    060,
                    0,  01140,   0400,     06,   0400,    022,   0400,   0400,
                  020,    011,    011,    011,    020,  04004,   0400,    011,
                    0,      0,      0,      0,      0,      0,      0,  01010,
                    0,      0,      0,  02005,      0,     02,  04100,     02,
                    0,      0,      0,  01010,      0,  01010,  01010,  01010,
                    0,   0200,    042,    042,  02420,     02,     04,  01010,
                    0,      0,      0,  04000,      0,  02040,    024,    024,
                    0,   0130,    042,    042,  01001,     02,    024,   0600,
                    0,   0401,    042,    042,   0300,    022,    024,  01010,
                  042,    042,    042,    042,    010,  04004,    042,    021,
                    0,      0,      0,  04000,      0,   0504,  02202,     01,
                    0,   0200,   0410,    060,  01001,     02,     04,    060,
                    0,   0200,   0121,     06,  04040,    022,     04,  01010,
                 0200,   0200,     04,   0200,     04,   0200,     04,     04,
                    0,  04000,  04000,  04000,  01001,    022,    024,  04000,
                01001,    044,    042,  04000,  01001,  01001,  01001,    016,
                02014,    022,    042,  04000,    022,    022,   0400,    022,
                  020,   0200,    042,    011,  01001,    022,     04,  02100,
                    0,      0,      0,      0,      0,      0,      0,  06400,
                    0,      0,      0,  01000,      0,     02,   0201,     02,
                    0,      0,      0,     06,      0,   0120,   0201,     06,
                    0,  02050,   0201,     06,   0201,     02,   0201,   0201,
                    0,      0,      0,  01000,      0,   0210,    024,    024,
                    0,  01000,  01000,  01000,   0540,     02,    024,  01000,
                    0,   0401,  04110,     06,  03002,    040,    024,    040,
                  020,    020,    020,  01000,    010,  04004,   0201,    040,
                    0,      0,      0,     06,      0,   0210,  01100,     01,
                    0,  04101,   0410,     06,  02004,     02,    060,    060,
                    0,     06,     06,     06,  04040,     06,     06,     06,
                  020,     06,     06,     06,    020,  01400,   0201,     06,
                    0,   0210,  02041,     06,   0210,   0210,    024,   0210,
                  020,    020,    020,  01000,    020,   0210,  04002,    060,
                  020,     06,     06,     06,    020,   0210,   0400,     06,
                  020,    020,    020,     06,    020,    020,    020,  02100,
                    0,      0,      0,   0340,      0,     02,    024,     01,
                    0,     02,   0410,     02,     02,     02,     02,     02,
                    0,   0401,  02000,     06,  04040,     02,    024,  01010,
                01104,     02,    042,  04020,     02,     02,   0201,     02,
                    0,   0401,    024,    024,    024,     02,    024,    024,
                06200,     02,    024,  01000,     02,     02,    024,     02,
                 0401,   0401,    024,   0401,    010,   0401,    024,    024,
                  010,   0401,    042,    042,    010,     02,    010,  02100,
                    0,  03020,   0410,     01,  04040,     01,     01,     01,
                 0410,     02,   0410,   0410,     02,     02,   0410,     01,
                04040,     06,     06,     06,  04040,  04040,  04040,     01,
                  020,   0200,   0410,     06,  04040,     02,     04,  02100,
                 0102,    044,    024,  04000,    024,   0210,    024,     01,
                  020,    044,   0410,    044,  01001,     02,    024,  02100,
                  020,   0401,  01200,     06,  04040,    022,    013,  02100,
                  020,    020,    020,  02100,    010,  02100,  02100,  02100,
                    0,      0,      0,      0,      0,      0,      0,   0204,
                    0,      0,      0,   0500,      0,     02,  02010,     02,
                    0,      0,      0,   0500,      0,  02001,  04022,    040,
                    0,   0500,   0500,   0500,  01040,     02,     04,   0500,
                    0,      0,      0,  04000,      0,  01420,  02010,    040,
                    0,   0241,  02010,    026,  02010,     02,  02010,  02010,
                    0,    012,  01005,    012,   0300,    012,    040,    040,
                  020,    012,    020,   0500,    020,  04004,  02010,    021,
                    0,      0,      0,  04000,      0,  02001,  01100,    060,
                    0,  01014,     03,     03,  04600,     02,     03,    060,
                    0,  02001,   0250,     06,  02001,  02001,     04,  02001,
                  020,    020,     03,   0500,     04,  02001,     04,     04,
                    0,  04000,  04000,  04000,    046,    046,    046,  04000,
                  020,    020,     03,  04000,    020,   0100,  02010,    060,
                  020,    012,    020,  04000,    020,  02001,   0400,    040,
                  020,    020,    020,    011,    020,    020,     04,  01202,
                    0,      0,      0,  04000,      0,     02,   0441,     02,
                    0,     02,  01220,     02,     02,     02,     02,     02,
                    0,    064,  02000,    064,   0300,     02,     04,  01010,
                04011,     02,     04,   0500,     02,     02,     04,     02,
                    0,  04000,  04000,  04000,   0300,     02,    024,  04000,
                 0404,     02,    042,  04000,     02,     02,  02010,     02,
                 0300,    012,    042,  04000,   0300,   0300,   0300,    021,
                  020,  03000,    042,    021,   0300,     02,     04,    021,
                    0,  04000,  04000,  04000,    030,     02,     04,  04000,
                02140,     02,     03,  04000,     02,     02,     04,     02,
                01402,    064,     04,  04000,     04,  02001,     04,     04,
                   04,   0200,     04,     04,     04,     02,     04,     04,
                04000,  04000,  04000,  04000,    030,  04000,  04000,  04000,
                  020,  04000,  04000,  04000,  01001,     02,     04,  04000,
                  020,  04000,  04000,  04000,   0300,    022,     04,  04000,
                  020,    020,     04,  04000,     04,   0450,     04,     04,
                    0,      0,      0,    031,      0,     02,  01100,     02,
                    0,     02,  04044,     02,     02,     02,     02,     02,
                    0,  05200,  02000,     06,   0414,     02,    040,    040,
                  020,     02,    020,   0500,     02,     02,   0201,     02,
                    0,  02104,   0602,    031,  04001,     02,    024,    040,
                  020,     02,    020,  01000,     02,     02,  02010,     02,
                  020,    012,    020,    040,    020,    040,    040,    040,
                  020,    020,    020,    020,    020,     02,    020,    040,
                    0,   0440,  01100,     06,  01100,     02,  01100,  01100,
                  020,     02,     03,  02200,     02,     02,  01100,     02,
                  020,     06,     06,     06,    020,  02001,  01100,     06,
                  020,    020,    020,     06,    020,     02,     04,  04010,
                  020,    020,    014,  04000,    020,   0210,  01100,    040,
                  020,    020,    020,    020,    020,     02,    020,   0405,
                  020,    020,    020,     06,    020,    020,    013,    040,
                  020,    020,    020,    020,    020,    020,    020,    020,
                    0,     02,  02000,     02,     02,     02,     02,     02,
                   02,     02,     02,     02,     02,     02,     02,     02,
                02000,     02,  02000,  02000,     02,     02,  02000,     02,
                   02,     02,  02000,     02,     02,     02,     02,     02,
                01050,     02,    024,  04000,     02,     02,    024,     02,
                   02,     02,   0101,     02,     02,     02,     02,     02,
                  020,   0401,  02000,    040,   0300,     02,    013,    040,
                  020,     02,    020,   0214,     02,     02,  05400,     02,
                 0205,     02,    062,  04000,     02,     02,  01100,     01,
                   02,     02,   0410,     02,     02,     02,     02,     02,
                  020,   0110,  02000,     06,  04040,     02,     04,   0620,
                  020,     02,     04,  01041,     02,     02,     04,     02,
                  020,  04000,  04000,  04000,  02400,     02,    013,  04000,
                  020,     02,    020,  04000,     02,     02,   0240,     02,
                  020,    020,    013,  04000,    013,  01004,    013,    013,
                  020,    020,    020,    020,    020,     02,     04,  02100,
                    0,      0,      0,      0,      0,      0,      0,   0204,
                    0,      0,      0,  01000,      0,   0411,  04100,    060,
                    0,      0,      0,  04041,      0,   0120,   0400,   0120,
                    0,   0200,    034,    034,  01040,   0120,    034,  02002,
                    0,      0,      0,  01000,      0,  02040,   0400,   0103,
                    0,  01000,  01000,  01000,   0222,   0100,    045,  01000,
                    0,    012,   0400,    012,   0400,    012,   0400,   0400,
                02101,    012,    034,  01000,    010,  04004,   0400,    021,
                    0,      0,      0,  02110,      0,  05002,   0400,     01,
                    0,   0200,     03,     03,  02004,    060,     03,    060,
                    0,   0200,   0400,     06,   0400,    054,   0400,   0400,
                 0200,   0200,     03,   0200,   0112,   0200,   0400,    060,
                    0,    025,   0400,    025,   0400,    025,   0400,   0400,
                04050,    025,     03,  01000,   0100,   0100,   0400,    016,
                 0400,    012,   0400,   0400,   0400,   0400,   0400,   0400,
                  020,   0200,   0400,    011,   0400,    043,   0400,   0400,
                    0,      0,      0,   0422,      0,  02040,  04100,     01,
                    0,   0200,  04100,    050,  04100,     02,  04100,  04100,
                    0,   0200,  02000,   0104,     07,     07,     07,  01010,
                 0200,   0200,    034,   0200,     07,   0200,  04100,    021,
                    0,  02040,   0211,   0104,  02040,  02040,    024,  02040,
                 0404,   0130,    042,  01000,    010,  02040,  04100,    016,
                05020,    012,    042,   0104,     07,  02040,   0400,    021,
                  010,   0200,    042,    021,    010,    010,    010,    021,
                    0,   0200,  01044,     01,    030,     01,     01,     01,
                 0200,   0200,     03,   0200,    030,   0200,  04100,     01,
                 0200,   0200,   0121,   0200,     07,   0200,   0400,     01,
                 0200,   0200,   0200,   0200,   0200,   0200,     04,   0200,
                 0102,    025,   0102,  04000,    030,  02040,   0400,     01,
                 0102,   0200,  02020,    016,  01001,    016,    016,    016,
                  041,   0200,   0400,    070,   0400,    022,   0400,   0400,
                 0200,   0200,    042,   0200,    010,   0200,   0400,    016,
                    0,      0,      0,  01000,      0,   0120,    052,     01,
                    0,  01000,  01000,  01000,  02004,     02,    052,  01000,
                    0,   0120,  02000,     06,   0120,   0120,    052,   0120,
                04402,     05,    034,  01000,    010,   0120,   0201,   0120,
                    0,  01000,  01000,  01000,  04001,   0120,    024,  01000,
                01000,  01000,  01000,  01000,    010,  01000,  01000,  01000,
                 0244,    012,    023,  01000,    010,   0120,   0400,    040,
                  010,  01000,  01000,  01000,    010,    010,    010,  01000,
                    0,   0440,  04220,     01,  02004,     01,     01,     01,
                02004,    032,     03,  01000,  02004,  02004,  02004,     01,
                01011,     06,     06,     06,   0120,   0120,   0400,     01,
                  020,   0200,   0140,     06,  02004,    043,   0140,  04010,
                 0102,    025,    014,  01000,   0102,   0210,   0400,     01,
                  020,  01000,  01000,  01000,  02004,    043,   0131,  01000,
                  020,  06000,   0400,     06,   0400,    043,   0400,   0400,
                  020,    020,    020,  01000,    010,    043,   0400,    043,
                    0,  04014,  02000,     01,  01600,     01,     01,     01,
                  061,     02,    061,  01000,     02,     02,  04100,     01,
                02000,   0120,  02000,  02000,     07,   0120,  02000,     01,
                  010,   0200,  02000,   0113,    010,     02,    010,   0444,
                 0102,   0102,    024,  01000,    010,  02040,    024,     01,
                  010,  01000,  01000,  01000,    010,     02,    010,  01000,
                  010,   0401,  02000,    070,    010,    010,    010,  04202,
                  010,    010,    010,  01000,    010,    010,    010,    010,
                 0102,     01,     01,     01,     01,     01,     01,     01,
                  061,   0200,   0410,     01,  02004,     01,     01,     01,
                 0102,   0200,  02000,     01,  04040,     01,     01,     01,
                 0200,   0200,   0140,   0200,    010,   0200,  01022,     01,
                 0102,   0102,   0102,     01,   0102,     01,     01,     01,
                 0102,    044,   0102,  01000,    010,  04420,   0240,     01,
                 0102,    070,    070,    070,    010,  01004,   0400,     01,
                  010,   0200,  04005,    070,    010,    010,    010,  02100,
                    0,      0,      0,   0204,      0,   0204,   0204,   0204,
                    0,  06020,     03,     03,  01040,     02,     03,   0204,
                    0,    012,  02000,    012,  01040,    012,   0111,   0204,
                01040,     05,     03,   0500,  01040,  01040,  01040,    021,
                    0,    012,   0160,    012,  04001,    012,   0160,   0204,
                 0404,    012,     03,  01000,   0100,   0100,  02010,    021,
                  012,    012,    012,    012,    012,    012,   0400,    012,
                  012,    012,  04200,    012,  01040,    012,    021,    021,
                    0,   0440,     03,     03,    030,    030,     03,   0204,
                   03,     03,     03,     03,     03,   0100,     03,     03,
                04104,    012,     03,  01020,    030,  02001,   0400,   0142,
                   03,   0200,     03,     03,  01040,   0100,     03,  04010,
                03200,    012,     03,  04000,    030,   0100,   0400,   0100,
                   03,   0100,     03,     03,   0100,   0100,     03,   0100,
                  012,    012,   0400,    012,   0400,    012,   0400,   0400,
                  020,    012,     03,  02044,    020,   0100,   0400,    021,
                    0,  01101,  02000,    050,    030,     02,    030,   0204,
                 0404,     02,     03,    050,     02,     02,  04100,     02,
                02000,    012,  02000,  02000,     07,  04400,  02000,    021,
                 0122,   0200,  02000,    021,  01040,     02,     04,    021,
                 0404,    012,   0160,  04000,    030,  02040,  01002,    021,
                 0404,   0404,   0404,    021,   0404,     02,    021,    021,
                  012,    012,  02000,    012,   0300,    012,    021,    021,
                 0404,    012,    021,    021,    010,    021,    021,    021,
                  030,    030,     03,  04000,    030,    030,    030,     01,
                   03,   0200,     03,     03,    030,     02,     03,  03400,
                  030,   0200,  02000,   0142,    030,    030,     04,   0142,
                 0200,   0200,     03,   0200,     04,   0200,     04,     04,
                  030,  04000,  04000,  04000,    030,    030,    030,  04000,
                 0404,   0100,     03,  04000,    030,   0100,   0240,    016,
                  041,    012,    041,  04000,    030,  01004,   0400,    021,
                  020,   0200,  01110,    021,  06002,    021,     04,    021,
                    0,   0440,  02000,    031,  04001,     02,    052,   0204,
                 0310,     02,     03,  01000,     02,     02,   0420,     02,
                02000,     05,  02000,  02000,   0120,   0120,  02000,    040,
                   05,     05,  02000,     05,  01040,     02,   0106,  04010,
                04001,    012,    014,  01000,  04001,  04001,  04001,    040,
                  020,  01000,  01000,  01000,  04001,     02,   0106,  01000,
                  012,    012,  02000,    012,  04001,    012,    040,    040,
                  020,     05,    020,  01000,    010,  02600,   0106,    021,
                 0440,   0440,     03,   0440,    030,   0440,  01100,     01,
                   03,   0440,     03,     03,  02004,     02,     03,  04010,
                  020,   0440,  02000,     06,   0202,   0120,    065,  04010,
                  020,     05,     03,  04010,    020,  04010,  04010,  04010,
                  014,   0440,    014,    014,  04001,   0100,    014,  02022,
                  020,    020,     03,  01000,    020,   0100,   0240,   0100,
                  020,    012,    014,   0301,    020,  01004,   0400,    040,
                  020,    020,    020,    020,    020,    020,    020,  04010,
                02000,     02,  02000,  02000,     02,     02,  02000,     01,
                   02,     02,  02000,     02,     02,     02,     02,     02,
                02000,  02000,  02000,  02000,  02000,     02,  02000,  02000,
                02000,     02,  02000,  02000,     02,     02,  02000,     02,
                 0102,   0220,  02000,    047,  04001,     02,    024,   0510,
                 0404,     02,   0101,  01000,     02,     02,   0240,     02,
                02000,    012,  02000,  02000,    010,  01004,  02000,    021,
                  010,  04140,  02000,    021,    010,     02,    010,    021,
                  030,   0440,  02000,     01,    030,     01,     01,     01,
                05000,     02,     03,   0124,     02,     02,   0240,     01,
                02000,   0110,  02000,  02000,    030,  01004,  02000,     01,
                  020,   0200,  02000,   0124,   0501,     02,     04,  04010,
                 0102,   0102,    014,  04000,    030,  01004,   0240,     01,
                  020,  02011,   0240,   0124,   0240,     02,   0240,   0240,
                  020,  01004,  02000,    070,  01004,  01004,    013,  01004,
                  020,    020,    020,   0402,    010,  01004,   0240,    021};


